menu: don't use the border as a padding value
authorCosimo Cecchi <cosimoc@gnome.org>
Tue, 17 May 2011 18:10:19 +0000 (14:10 -0400)
committerCosimo Cecchi <cosimoc@gnome.org>
Wed, 18 May 2011 14:45:50 +0000 (10:45 -0400)
commit091a4d7f2276ef6abd981a2813edd728fdd918a8
treeaa0e0f0feab79bd8bb5ed36887b8d850b2907c8a
parentc8a59a6f92e79461622ebd6da058d29094d696ef
menu: don't use the border as a padding value

Borders should be rendered inside the allocation, not act as a second
padding.

https://bugzilla.gnome.org/show_bug.cgi?id=650418
gtk/gtkmenu.c
gtk/gtkmenuitem.c